منابع مشابه
The FAUST - Prover
Unfortunately first-order logic has certain limitations which are felt in many applications such as in hardware verification. The use of proof assistants like the HOL sys tem ([Gord88]) is therefore resorted to. However many theorems of higher order logic can also be proven by methods of first order logic as well. Being aware of this situation, we have implemented a prover based on Sequent Calc...
متن کاملThinking, Planning, Writing and the Final Creation of a Manuscript
سخن سردبیر Editorial مجله دانشگاه علوم پزشکی رفسنجان دوره نوزدهم، بهمن 1399، 1134-1133 تفکر، برنامه‌ریزی، نگارش و تولید نسخه نهایی یک مقاله Thinking, Planning, Writing and the Final Creation of a Manuscript محسن رضائیان[1] M. Rezaeian فینلی (Finlay)، در مقاله اخیر خود با تمرکز بر روی تهیه مقالات کیفی، نگارش مقاله را یک امر پویا می‌داند که از چهار مرحله به هم پیو...
متن کاملFaust audio DSP language in the Web
With the advent of both HTML5 and the Web Audio API (a high-level JavaScript API for audio processing and synthesis) interesting audio applications can now be developed for the Web. The Web Audio API offers a set of fast predefined audio nodes as well as customizable ScriptProcessor node, allowing developers to add their own javascript audio processing code. Several projects are developing abst...
متن کاملInterfacing Pure Data with Faust
This paper reports on a new plugin interface for Grame’s functional DSP programming language Faust. The interface allows Faust programs to be run as externals in Miller Puckette’s Pd (Pure Data), making it possible to extend Pd with new audio objects programmed in Faust. The software also includes a script to create wrapper patches around Faust units which feature “graph-on-parent” GUI elements...
متن کاملthe effect of taftan pozzolan on the compressive strength of concrete in the environmental conditions of oman sea (chabahar port)
cement is an essential ingredient in the concrete buildings. for production of cement considerable amount of fossil fuel and electrical energy is consumed. on the other hand for generating one tone of portland cement, nearly one ton of carbon dioxide is released. it shows that 7 percent of the total released carbon dioxide in the world relates to the cement industry. considering ecological issu...
ذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Musical Times
سال: 1921
ISSN: 0027-4666
DOI: 10.2307/910006